Module isotope_parser::ast[][src]

Expand description

An abstract syntax tree for the textual representation of isotope

Structs

Annotated

An annotated term

App

A function application

Branch

A branch of a case expression

Case

A case expression

Enum

An enumeration

Join

A join statement

Lambda

A lambda function

Let

A let statement

Pi

A dependent function type

Scope

A scope

Universe

A typing universe

Enums

Expr

An isotope expression

Form

A reduction form

Stmt

An isotope statement